Results for 'Graham Emil Leigh'

994 found
Order:
  1. An ordinal analysis for theories of self-referential truth.Graham Emil Leigh & Michael Rathjen - 2010 - Archive for Mathematical Logic 49 (2):213-247.
    The first attempt at a systematic approach to axiomatic theories of truth was undertaken by Friedman and Sheard (Ann Pure Appl Log 33:1–21, 1987). There twelve principles consisting of axioms, axiom schemata and rules of inference, each embodying a reasonable property of truth were isolated for study. Working with a base theory of truth conservative over PA, Friedman and Sheard raised the following questions. Which subsets of the Optional Axioms are consistent over the base theory? What are the proof-theoretic strengths (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  2. Five papers on axiomatic theories of truth.Graham Emil Leigh - 2010 - Bulletin of Symbolic Logic 16 (3):424-428.
     
    Export citation  
     
    Bookmark  
  3.  37
    Conservativity for theories of compositional truth via cut elimination.Graham E. Leigh - 2015 - Journal of Symbolic Logic 80 (3):845-865.
  4.  87
    Axiomatic truth, syntax and metatheoretic reasoning.Graham E. Leigh & Carlo Nicolai - 2013 - Review of Symbolic Logic 6 (4):613-636.
    Following recent developments in the literature on axiomatic theories of truth, we investigate an alternative to the widespread habit of formalizing the syntax of the object-language into the object-language itself. We first argue for the proposed revision, elaborating philosophical evidences in favor of it. Secondly, we present a general framework for axiomatic theories of truth with theories of syntax. Different choices of the object theory O will be considered. Moreover, some strengthenings of these theories will be introduced: we will consider (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  5.  73
    The Friedman—Sheard programme in intuitionistic logic.Graham E. Leigh & Michael Rathjen - 2012 - Journal of Symbolic Logic 77 (3):777-806.
    This paper compares the roles classical and intuitionistic logic play in restricting the free use of truth principles in arithmetic. We consider fifteen of the most commonly used axiomatic principles of truth and classify every subset of them as either consistent or inconsistent over a weak purely intuitionistic theory of truth.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  6.  62
    A proof-theoretic account of classical principles of truth.Graham E. Leigh - 2013 - Annals of Pure and Applied Logic 164 (10):1009-1024.
    This paper explores the interface between principles of self-applicable truth and classical logic. To this end, the proof-theoretic strength of a number of axiomatic theories of truth over intuitionistic logic is determined. The theories considered correspond to the maximal consistent collections of fifteen truth-theoretic principles as isolated in Leigh and Rathjen.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  26
    A companion to philosophy in Australia & New Zealand.Graham Robert Oppy, Nick Trakakis, Lynda Burns, Steven Gardner & Fiona Leigh (eds.) - 2011 - Clayton, Victoria, Australia: Monash University Publishing.
    This work is a companion to philosophy in Australia and New Zealand. It contains over two hundred entries on: Australasian philosophy departments; notable Australasian philosophers; significant events in the history of Australasian philosophy; and areas to which Australasian philosophers have made notable contributions.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8. Some Weak Theories of Truth.Graham E. Leigh - 2015 - In T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.), Unifying the Philosophy of Truth. Dordrecht: Imprint: Springer.
    In this article we present a number of axiomatic theories of truth which are conservative extensions of arithmetic. We isolate a set of ten natural principles of truth and prove that every consistent permutation of them forms a theory conservative over Peano arithmetic.
     
    Export citation  
     
    Bookmark   2 citations  
  9. Truth is Simple.Leon Horsten & Graham E. Leigh - 2017 - Mind 126 (501):195-232.
    Even though disquotationalism is not correct as it is usually formulated, a deep insight lies behind it. Specifically, it can be argued that, modulo implicit commitment to reflection principles, all there is to the notion of truth is given by a simple, natural collection of truth-biconditionals.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  10.  18
    Cyclic proofs for the first-order µ-calculus.Bahareh Afshari, Sebastian Enqvist & Graham E. Leigh - forthcoming - Logic Journal of the IGPL.
    We introduce a path-based cyclic proof system for first-order $\mu $-calculus, the extension of first-order logic by second-order quantifiers for least and greatest fixed points of definable monotone functions. We prove soundness of the system and demonstrate it to be as expressive as the known trace-based cyclic systems of Dam and Sprenger. Furthermore, we establish cut-free completeness of our system for the fragment corresponding to the modal $\mu $-calculus.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  23
    Truth is Simple.Leon Horsten & Graham E. Leigh - 2016 - Mind:fzv184.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  12.  21
    Herbrand Confluence for First-Order Proofs with Π2-Cuts.Graham E. Leigh, Stefan Hetzl & Bahareh Afshari - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 5-40.
    Direct download  
     
    Export citation  
     
    Bookmark  
  13. Revision Revisited.Leon Horsten, Graham E. Leigh, Hannes Leitgeb & Philip Welch - 2012 - Review of Symbolic Logic 5 (4):642-664.
    This article explores ways in which the Revision Theory of Truth can be expressed in the object language. In particular, we investigate the extent to which semantic deficiency, stable truth, and nearly stable truth can be so expressed, and we study different axiomatic systems for the Revision Theory of Truth.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  14.  25
    Herbrand's theorem as higher order recursion.Bahareh Afshari, Stefan Hetzl & Graham E. Leigh - 2020 - Annals of Pure and Applied Logic 171 (6):102792.
  15.  28
    Justifying Deaths: The Chronicler Pierre des Vaux-de-Cernay and the Massacre of Béziers.Elaine Graham-Leigh - 2001 - Mediaeval Studies 63 (1):283-303.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  17
    S. Feferman. Reflecting on incompleteness. The Journal of Symbolic Logic, vol. 56 , no. 1, pp. 1–49. - W. N. Reinhardt. Some remarks on extending and interpreting theories with a partial predicate for truth. Journal of Philosophical Logic, vol. 15 , no. 2, pp. 219–251. - V. Halbach and L. Horsten. Axiomatizing Kripke’s theory of truth. The Journal of Symbolic Logic, vol. 71 , no. 2, pp. 667–712 - H. Friedman and M. Sheard. An axiomatic approach to self-referential truth.Annals of Pure and Applied Logic, vol. 33 , no. 1, pp. 1–21. - V. Halbach. A system of complete and consistent truth. Notre Dame Journal of Formal Logic, vol. 35 , no. 3, pp. 311–327. [REVIEW]Graham E. Leigh - 2010 - Bulletin of Symbolic Logic 16 (3):424-428.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  18
    The Copernican Multiverse of Sets.Paul K. Gorbow & Graham E. Leigh - 2022 - Review of Symbolic Logic 15 (4):1033-1069.
    We develop an untyped framework for the multiverse of set theory. $\mathsf {ZF}$ is extended with semantically motivated axioms utilizing the new symbols $\mathsf {Uni}(\mathcal {U})$ and $\mathsf {Mod}(\mathcal {U, \sigma })$, expressing that $\mathcal {U}$ is a universe and that $\sigma $ is true in the universe $\mathcal {U}$, respectively. Here $\sigma $ ranges over the augmented language, leading to liar-style phenomena that are analyzed. The framework is both compatible with a broad range of multiverse conceptions and suggests its (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  5
    Revisiting the conservativity of fixpoints over intuitionistic arithmetic.Mattias Granberg Olsson & Graham E. Leigh - 2023 - Archive for Mathematical Logic 63 (1):61-87.
    This paper presents a novel proof of the conservativity of the intuitionistic theory of strictly positive fixpoints, $$\widehat{{\textrm{ID}}}{}_{1}^{{\textrm{i}}}{}$$ ID ^ 1 i, over Heyting arithmetic ($${\textrm{HA}}$$ HA ), originally proved in full generality by Arai (Ann Pure Appl Log 162:807–815, 2011. https://doi.org/10.1016/j.apal.2011.03.002). The proof embeds $$\widehat{{\textrm{ID}}}{}_{1}^{{\textrm{i}}}{}$$ ID ^ 1 i into the corresponding theory over Beeson’s logic of partial terms and then uses two consecutive interpretations, a realizability interpretation of this theory into the subtheory generated by almost negative fixpoints, and (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  10
    Proof Systems for Two-Way Modal Mu-Calculus.Bahareh Afshari, Sebastian Enqvist, Graham E. Leigh, Johannes Marti & Yde Venema - forthcoming - Journal of Symbolic Logic:1-50.
    We present sound and complete sequent calculi for the modal mu-calculus with converse modalities, aka two-way modal mu-calculus. Notably, we introduce a cyclic proof system wherein proofs can be represented as finite trees with back-edges, i.e., finite graphs. The sequent calculi incorporate ordinal annotations and structural rules for managing them. Soundness is proved with relative ease as is the case for the modal mu-calculus with explicit ordinals. The main ingredients in the proof of completeness are isolating a class of non-wellfounded (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20. The liar paradox and the inclosure schema.Emil Badici - 2008 - Australasian Journal of Philosophy 86 (4):583 – 596.
    In Beyond the Limits of Thought [2002], Graham Priest argues that logical and semantic paradoxes have the same underlying structure (which he calls the Inclosure Schema ). He also argues that, in conjunction with the Principle of Uniform Solution (same kind of paradox, same kind of solution), this is sufficient to 'sink virtually all orthodox solutions to the paradoxes', because the orthodox solutions to the paradoxes are not uniform. I argue that Priest fails to provide a non-question-begging method to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  21.  17
    Exaggerating Emile (and Skipping Sophie) while sliding past The Social Contract.Graham P. McDonough - 2021 - Teaching Philosophy 44 (2):159-186.
    This paper examines how philosophy of education textbooks present Jean-Jacques Rousseau’s views on women and socialization. It reviews ten texts, involving nine authors, and finds that they generally focus on the concepts of Nature, Negative Education, and Child Development from Books I-III of Emile, but severely restrict mentioning its Book V and The Social Contract. While these results implicitly reflect Rousseau’s historical influence on “progressive” educators, they do not seriously attend to well-established critiques of Rousseau’s sexism and omit acknowledging his (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22. "Reading Dance: Bodies and Subjects in Contemporary American Dance": Susan Leigh Foster. [REVIEW]Graham Mcfee - 1988 - British Journal of Aesthetics 28 (2):190.
     
    Export citation  
     
    Bookmark  
  23. Haidt & Graham --.Jonathan Haidt & Jesse Graham - unknown
    Most academic efforts to understand morality and ideology come from theorists who limit the domain of morality to issues related to harm and fairness. For such theorists, conservative beliefs are puzzles requiring non-moral explanations. In contrast, we present moral foundations theory, which broadens the moral domain to match the anthropological literature on morality. We extend the theory by integrating it with a review of the sociological constructs of community, authority, and sacredness, as formulated by Emile Durkheim and others. We present (...)
     
    Export citation  
     
    Bookmark   1 citation  
  24.  15
    Émile ou de l'éducation (review).Gregor Sebba - 1963 - Journal of the History of Philosophy 1 (2):258-259.
    In lieu of an abstract, here is a brief excerpt of the content:258 HISTORY OF PHILOSOPHY and diversity"-- ("it is useless to deny or even minimize the incongruities and the contradictions" in Rousseau's statements, as Burgelin says in another book). Instead he puts the finger on the one trait that sets this piece of rationalism (or anti-rationalism, as some would say) apart from all others: not sentiment verging on the mystical, but egocentrism, existentially founded and unique. Rousseau, taking a stand (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25. Knowledge is Not Our Norm of Assertion.Peter J. Graham & Nikolaj J. L. L. Pedersen - 2024 - In Blake Roeber, Ernest Sosa, Matthias Steup & John Turri (eds.), Contemporary Debates in Epistemology, 3rd edition. Wiley-Blackwell.
    The norm of assertion, to be in force, is a social norm. What is the content of our social norm of assertion? Various linguistic arguments purport to show that to assert is to represent oneself as knowing. But to represent oneself as knowing does not entail that assertion is governed by a knowledge norm. At best these linguistic arguments provide indirect support for a knowledge norm. Furthermore, there are alternative, non-normative explanations for the linguistic data (as in recent work from (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  26. Ontological arguments and belief in God.Graham Robert Oppy - 1995 - Cambridge UK: Cambridge University Press.
    This book is a unique contribution to the philosophy of religion. It offers a comprehensive discussion of one of the most famous arguments for the existence of God: the ontological argument. The author provides and analyses a critical taxonomy of those versions of the argument that have been advanced in recent philosophical literature, as well as of those historically important versions found in the work of St Anselm, Descartes, Leibniz, Hegel and others. A central thesis of the book is that (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   41 citations  
  27. Eight theories of ethics.Gordon Graham - 2004 - New York: Routledge/Taylor and Francis Group.
    Ethics, truth and reason -- Egoism -- Hedonism -- Naturalism and virtue theory -- Existentialism -- Kantianism -- Utilitarianism -- Contractualism -- Ethics, religion, and the meaning of life.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  28. The texts of early Greek philosophy: the complete fragments and selected testimonies of the major presocratics.Daniel W. Graham (ed.) - 2010 - New York: Cambridge University Press.
    This two-part volume collects the complete fragments and most important testimonies for the leading presocratic philosophers. The Greek and Latin texts are translated on facing pages and accompanied by a brief commentary for each philosopher.
    Direct download  
     
    Export citation  
     
    Bookmark   50 citations  
  29.  32
    Free Will and Theological Determinism.Leigh Vicens - 2017 - In Kevin Timpe, Meghan Griffith & Neil Levy (eds.), Routledge Companion to Free Will. New York: Routledge.
  30.  47
    God's presence in history: Jewish affirmations and philosophical reflections.Emil L. Fackenheim - 1970 - Northvale, N.J.: J. Aronson.
    Comprises the Charles F. Deems Lectures delivered at New York University in 1968. Discusses the significance of the Holocaust, emphasizing theological issues, and its uniqueness in history. An authentic response to it - religious or secular - is a commitment to the autonomy and security of the State of Israel. Refers to Jewish midrash to explore the meaning and significance of the Holocaust and relates Jewish thinking about the Holocaust to Jewish thinking about earlier catastrophes. Jewish particularism remains a scandal (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  31.  33
    Émile ou de l'éducation (review). [REVIEW]Gregor Sebba - 1963 - Journal of the History of Philosophy 1 (2):258-259.
    In lieu of an abstract, here is a brief excerpt of the content:258 HISTORY OF PHILOSOPHY and diversity"-- ("it is useless to deny or even minimize the incongruities and the contradictions" in Rousseau's statements, as Burgelin says in another book). Instead he puts the finger on the one trait that sets this piece of rationalism (or anti-rationalism, as some would say) apart from all others: not sentiment verging on the mystical, but egocentrism, existentially founded and unique. Rousseau, taking a stand (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  32.  22
    Émile ou de l'éducation (review). [REVIEW]Gregor Sebba - 1963 - Journal of the History of Philosophy 1 (2):258-259.
    In lieu of an abstract, here is a brief excerpt of the content:258 HISTORY OF PHILOSOPHY and diversity"-- ("it is useless to deny or even minimize the incongruities and the contradictions" in Rousseau's statements, as Burgelin says in another book). Instead he puts the finger on the one trait that sets this piece of rationalism (or anti-rationalism, as some would say) apart from all others: not sentiment verging on the mystical, but egocentrism, existentially founded and unique. Rousseau, taking a stand (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  33. Later Mohist logic, ethics, and science.Angus Charles Graham (ed.) - 1978 - London: School of Oriental and African Studies, University of London.
    This a general account of the school of Mo-tzu, its social basis as a movement of craftsmen, its isolated place in the Chinese tradition, and the nature of its later contributions to logic, ethics, and science. It assesses the relation of Mohist thinking to the structure of the Chinese language, and grapples with the textual dynamics of later Mohist writings, particularly in regard to grammar and style, technical terminology, the use and significance of stock examples, and overall organization. Includes edited (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   54 citations  
  34. Aristotle's reading of Plato.Daniel W. Graham - 2004 - In Jorge J. E. Gracia & Jiyuan Yu (eds.), Uses and abuses of the classics: Western interpretations of Greek philosophy. Burlington, VT: Ashgate.
  35.  15
    On doubt.Leigh Sales - 2009 - Carlton, Vic.: Melbourne University.
  36.  68
    Deliberative democracy and the environment.Graham Smith - 2003 - New York: Routledge.
    One of the key questions to have exercised green political theorists in recent years concerns the relationship of the environment 'agenda' and democracy. Both environmentalists and democrats have a tendency to think of each other as natural bedfellows but in fact there is little theoretical or practical reason why they should be. Indeed some theorists have argued that the environmental movement has grown from fundamentally authoritarian roots and it is arguable that the only really effective way of implementing environmental politics (...)
    Direct download  
     
    Export citation  
     
    Bookmark   17 citations  
  37.  30
    The religious dimension in Hegel's thought.Emil L. Fackenheim - 1967 - Chicago: University of Chicago Press.
  38.  31
    The eudemian ethics on the voluntary, friendship, and luck: the Sixth S.V. Keeling Colloquium in Ancient Philosophy.Fiona Leigh (ed.) - 2012 - Boston: Brill.
    The papers in this collection on Aristotle’s Eudemian Ethics by Charles, Rowe, McCabe, Whiting, and Buddensiek, offer new readings of Aristotle on the voluntary, friendship, and good fortune in the EE, by treating the EE on its own terms.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  59
    Christianity and the Problem of Free Will.Leigh Vicens - 2023 - Cambridge University Press.
    Central to the teachings of Christianity is a puzzle: on the one hand, sin seems something that humans do not do freely and so cannot be not responsible for, since it is unavoidable; on the other hand, sin seems something that we must be responsible for and so do freely, since we are enjoined to repent of it, and since it makes us liable to divine condemnation and forgiveness. After laying out the puzzle in more depth, this Element considers three (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  12
    Prophet for a dark age: a companion to the works of René Guénon.Graham Rooth - 2008 - Portland, Or.: Sussex Academic Press.
    René Guénon is a major figure for anyone who recognises a need to rediscover the spiritual roots from which Western society has become so comprehensively alienated. Immersing himself in the search for spiritual truth, he chose Islam as the vehicle for his spiritual life. Settling in Egypt, he clarified and deepened our understanding of the teachings of traditional metaphysics, his central message being that there is at the source of all humanity's traditions a 'Primordial Tradition' -- a Universal Metaphysics which (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  23
    Between science and values.Loren R. Graham - 1981 - New York: Columbia University Press.
    Examines the influence of the physical and biological sciences on society, ethics, and philosophy during the twentieth century.
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  42.  22
    ‘I will know it when I taste it’: trust, food materialities and social media in Chinese alternative food networks.Leigh Martindale - 2020 - Agriculture and Human Values 38 (2):365-380.
    Trust is often an assumed outcome of participation in Alternative Food Networks (AFNs) as they directly connect producers with consumers. It is based on this potential for trust “between producers and consumers” that AFNs have emerged as a significant field of food studies analysis as it also suggests a capacity for AFNs to foster associated embedded qualities, like ‘morality’, ‘social justice’, ‘ecology’ and ‘equity’. These positive benefits of AFNs, however, cannot be taken for granted as trust is not necessarily an (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  43.  84
    Introduction to Non-Classical Logic.Graham Priest - 2001 - Cambridge and New York: Cambridge University Press.
    This is the first introductory textbook on non-classical propositional logics.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   127 citations  
  44. Arguing About Gods.Graham Oppy - 2006 - New York: Cambridge University Press.
    In this book, Graham Oppy examines arguments for and against the existence of God. He shows that none of these arguments is powerful enough to change the minds of reasonable participants in debates on the question of the existence of God. His conclusion is supported by detailed analyses of the arguments as well as by the development of a theory about the purpose of arguments and the criteria that should be used in judging whether or not arguments are successful. (...)
  45. Beyond the limits of knowledge.Graham Priest - 2009 - In Joe Salerno (ed.), New Essays on the Knowability Paradox. Oxford University Press.
     
    Export citation  
     
    Bookmark   17 citations  
  46.  11
    The lost history of cosmopolitanism: the early modern origins of the intellectual ideal.Leigh Penman - 2020 - New York, NY: Bloomsbury Academic.
    This book provides the first intellectual history of cosmopolitan ideas in the early modern age. The roots of modern cosmopolitanism can be traced back to as early as the 1500s when a meta-narrative and awareness of the cosmopolitan idea came into existence. Unearthing occurrences of cosmopolitan language in popular media and analysing the writings of leading thinkers, Leigh T.I. Penman illustrates how cosmopolitanism was not, as previously thought, purely secular and inclusive but could be sacred and exclusive too. And, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  5
    Werke.Emil Lask - 2002 - Jena: D. Scheglmann Reprintverlag.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  8
    Kosmička misao, to je sama večnost: aforizmi, misli, refleksivno-književni zapisi.Emil Popović - 2004 - Beograd: E. M. Popović.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  2
    Social Order and Human Nature.Emil Višňovský - 1995 - Human Affairs 5 (2):110-118.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  1
    The Non-classical Type of Rationality.Emil Višñovský, Jozef Viceník & Václav Černík - 1995 - Human Affairs 5 (2):97-109.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 994